Program optimization - PDFSEARCH.IO - Document Search Engine

Program optimization
Results: 736

#	Item
71	Preface The main motivation of writing this book was to help myself. I am a professor in the field of operations research, and my daily activities involve building models of mathematical optimization, developing algorit Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Operations research Mathematical optimization Computer algebra systems Mathematical modeling Program optimization AMPL Algorithm Julia Linear programming Computer programming Computational science Theoretical computer science
72	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
73	Quantum Speed-ups for Semidefinite Programming Fernando G.S.L. Brandão MSR -> Caltech based on joint work with Add to Reading List Source URL: fernandobrandao.org Language: English - Date: 2016-07-15 14:19:10 Operations research Mathematical optimization Theoretical computer science Linear programming Real algebraic geometry Semidefinite programming Algorithm Quadratically constrained quadratic program
74	Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-09-06 23:44:43 Compiler optimizations Loop nest optimization Stencil code Roofline model Program optimization Stencil CPU cache Common subexpression elimination Scalable locality
75	Compiling Dynamic Languages Anders Schlichtkrull, Rasmus T. Tjalk-Bøggild Kongens Lyngby 2013 Compute-B.Sc Add to Reading List Source URL: www2.imm.dtu.dk Language: English Compiler construction Cross-platform software Functional languages Mozilla Web programming Just-in-time compilation Ahead-of-time compilation Program optimization Compiler JavaScript Type system C Sharp
76	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
77	Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 12:52:36 Parallel computing Assembly language Programming language implementation Operating system Low-level programming language Unix Kernel Program optimization Computer architecture Computer D X86 assembly language
78	Microsoft Word - ICSTE title pagefinal.docx Add to Reading List Source URL: www.icste.org Language: English - Date: 2013-11-22 05:19:38 Mathematical optimization Program optimization Genetic algorithm Systems engineering Reliability engineering Artificial neural network Wireless sensor network Mohamed E. El-Hawary SmartDO
79	AutomaticEnergyOptimization.pdf Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2010-09-14 10:37:49 Energy conservation Energy Program optimization Energy management Algorithm Feature model Wireless sensor network Operating system C++ Mathematical optimization Run-time estimation of system and sub-system level power consumption Green computing
80	Microsoft Word - BIOMA2016-Program.docx Add to Reading List Source URL: bioma.ijs.si Language: English - Date: 2016-05-16 07:19:56 Mathematical optimization Operations research Heuristics Cybernetics Applied mathematics Analysis Cognition Evolutionary algorithm Extremal optimization Global optimization Stochastic optimization Hyper-heuristic

UPDATE